теорема о регулярности

См. также в других словарях:

• Теорема Майхилла — Нероуда — В теории формальных языков теорема Майхилла  Нероуда определяет необходимое и достаточное условия регулярности языка. Данная теорема также позволяет доказать, что данный язык не регулярен. Теорема названа в честь Джона Майхилла и Энила… …   Википедия

• Теорема Майхилла — В теории формальных языков теорема Майхилла  Нероуда определяет необходимое и достаточное условия регулярности языка. Данная теорема также позволяет доказать, что данный язык не регулярен. Теорема названа в честь Джона… …   Википедия

• БОГОЛЮБОВА ТЕОРЕМА — 1) Б. т. острие клина обобщение принципа аналитического продолжения, особенно для случая многих комплексных переменных; получена Н. Н. Боголюбовым в 1956 при обосновании дисперсионных соотношений в квантовой теории поля (см. [1], Дополнение А).… …   Математическая энциклопедия

• ВИНЕРА ТАУБЕРОВА ТЕОРЕМА — если и преобразование Фурье функции не обращается в нуль, а функция из такая, что свертка стремится к нулю при , то для любой свертка стремится к нулю при …   Математическая энциклопедия

• КОДАИРЫ ТЕОРЕМА — об обращении в нуль, теорема Кодаиры об исчезновении, теорема о равенстве нулю групп когомологий i<dim X, где пучок голоморфных сечений отрицательного векторного расслоения L ранга 1 на компактном комплексном многообразии X. Эквивалентная… …   Математическая энциклопедия

• ВИТАЛИ ТЕОРЕМА — 1) В. т. о покрытии. Если система замкнутых множеств является покрытием Витали (см. ниже) множества , то из можно выделить не более чем счетную последовательность попарно непересекающихся множеств , i= 1, 2, 3, . . . , такую, что где т е внешняя… …   Математическая энциклопедия

• ВАРДА ТЕОРЕМА — о дифференцировании аддитивной функции сегмента: пусть аддитивная функция сегмента, а нижняя (верхняя) грань пределов отношений к мере Лебега , где регулярная последовательность сегментов, стягивающихся к точке x. Тогда равенство выполняется… …   Математическая энциклопедия

• МОНЖА - АМПЕРА УРАВНЕНИЕ — дифференциальное уравнение с частными производными 2 го порядка вида коэффициенты к рого зависят от переменных x, у, неизвестной функции z( х, у )и ее первых производных Тип М. А. у. зависит от знака выражения Если , М. А. у. есть уравнение… …   Математическая энциклопедия

• ОТРИЦАТЕЛЬНОЙ КРИВИЗНЫ ПОВЕРХНОСТЬ — в непосредственном понимании Двумерная поверхность трехмерного евклидова пространства, к рая в каждой своей точке имеет отрицательную гауссову кривизну К<0. Простейшие примеры: однополостный гиперболоид (рис. 1, а), гиперболический параболоид… …   Математическая энциклопедия

• ИЗОМЕТРИЧЕСКОЕ ПОГРУЖЕНИЕ — погружение k мерного метрич. многообразия М к в n мерное риманово пространство V, в виде k мерной поверхности Ф, при к ром расстояние между любыми двумя точками на М k совпадает с расстоянием между их образами, измеренным по поверхности Ф в… …   Математическая энциклопедия

• ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ — раздел геометрии, в к ром изучаются геометрич. образы, в первую очередь кривые и поверхности, методами математич. анализа. Обычно в Д. г. изучаются свойства кривых и поверхностей в малом, т. е. свойства сколь угодно малых их кусков. Кроме того, в …   Математическая энциклопедия